#!/bin/bash

showpid() {
    echo "\$\$: $$, \$BASHPID: $BASHPID"
}

echo "\$\$: $$, \$BASHPID: $BASHPID"
showpid
showpid &
wait
